Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
11	Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174, Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2018-06-20 05:46:32 Computing Software engineering Computer programming Software bugs Software testing Computer network security Debuggers Common Weakness Enumeration Memory debugger Memory safety Application security Frama-C
12	A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-09-08 19:38:18 Mathematical analysis Mathematics Constructible universe Distribution
13	Tackling Large Software Verification Problems with Spin Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:28:50 Model checkers Software engineering Computing Theoretical computer science Model checking Promela Formal verification SPIN model checker Abstraction Sizeof Const
14	Automated Quantitative Software Verification by Mark Kattenbelt A thesis submitted for the degree of Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-03-15 10:13:22 Model checkers Model checking Abstraction Mathematical proof Economic model Verification Theoretical computer science Formal methods Cognitive science Computing PRISM model checker Construction and Analysis of Distributed Processes
15	SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. ReliabPublished online in Wiley Online Library (wileyonlinelibrary.com). DOI: stvr.1475 A survey of code-based change impact analysis te Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Central Intelligence Agency Cold War in popular culture McLean Virginia Change impact analysis Program slicing Mining software repositories Reverse engineering Software engineering Computing Change
16	Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper) Ramana Kumar1 , Eric Mullen2 , Zachary Tatlock2 , and Magnus O. Myreen3 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2018-05-16 23:20:58 Theoretical computer science Formal methods Logic in computer science Software engineering Proof assistants Automated theorem proving Formal verification Interactive Theorem Proving Isabelle Coq HOL Correctness
17	Qualification of a Model Checker for Avionics Software Verification Lucas Wagner1 , Alain Mebsout2 , Cesare Tinelli2 , Darren Cofer1 , and Konrad Slind1 1 Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Software engineering Computing Avionics Engineering Systems engineering Software requirements Embedded systems Safety engineering DO-178C Formal methods Alt-Ergo Model checking
18	Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014 Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2014-12-09 08:27:27 Software testing Hardware verification languages Electronic engineering Verification Model checking Software verification KTH Royal Institute of Technology E Functional verification Formal methods
19	Tackling Large Software Verification Problems with Spin Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:30:09 Model checkers Software engineering Computing Electronic engineering Theoretical computer science Model checking Swarm behaviour Formal methods Promela Swarm Software verification SPIN model checker
20	On Quantitative Software Verification Marta Kwiatkowska Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract: Software verification has made great progress in recent years, resulting in several to Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2009-07-29 05:44:10 Formal methods Model checkers Metaphysics Model checking Theoretical computer science PRISM model checker Computing Refinement Abstraction Markov chain Stochastic